CatDat

Implication Details

Claim: If a category has cofiltered-limit-stable epimorphisms and is self-dual, then it has filtered-colimit-stable monomorphisms.

Proof: This holds by self-duality.